Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
751	Bayesian Checking for Topic Models David Mimno David Blei Department of Computer Science Department of Computer Science Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2011-07-06 15:29:12 Topic model Deviance Discrepancy function Multinomial distribution Multivariate Pólya distribution Dynamic topic model Statistics Statistical natural language processing Latent Dirichlet allocation
752	Sagar Jyoti Chaki [removed] http://www.contrib.andrew.cmu.edu/~schaki Research Interests: • Formal methods Add to Reading List Source URL: www.contrib.andrew.cmu.edu Language: English - Date: 2014-02-25 17:53:36 Computer science Software testing Logic in computer science Model checking Edmund M. Clarke Software verification Formal verification Computer Aided Verification ALGOL 68 Theoretical computer science Formal methods Applied mathematics
753	7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2002-06-24 05:00:37 Science Model checking Software Model checkers Verification and validation PRISM model checker Abstraction Formal verification Formal methods Software development Software testing
754	Agile Verification Gerard J. Holzmann [removed] how we design & test software today Add to Reading List Source URL: www.kiss.caltech.edu Language: English - Date: 2012-08-03 13:15:57 Formal methods Software engineering Software testing Model checking Postcondition Software development process Requirement Model-based testing Theoretical computer science Software development Logic in computer science
755	Use of Formal Methods at Amazon Web Services Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff Amazon.com 29th September, 2014 Since 2011, engineers at Amazon Web Services (AWS) have b Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-24 08:52:42 Mathematics Formal methods Model checking Software bug Correctness PlusCal Algorithm Communications protocol Computer programming Theoretical computer science Computing Applied mathematics
756	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Model checking PRISM model checker Uppaal Model Checker PAT Scientific modelling Probabilistic automaton Markov chain Economic model Stochastic Model checkers Probability Statistics
757	Package ‘mi’ October 2, 2014 Version 0.09-19 Date 2014-10-02 Title Missing Data Imputation and Model Checking Author Andrew Gelman ,Jennifer Hill ,YuSung Su Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-10-02 02:02:19 Econometrics Missing data Imputation Data transformation Linear regression Matrix Logistic regression Statistics Data analysis Regression analysis
758	TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, and Richard M. Murray* * Singapore-MIT Alliance for Research and Technology, Sing Add to Reading List Source URL: www.aero.umd.edu Language: English - Date: 2014-08-25 12:01:34 Applied mathematics Linear temporal logic Temporal logic Formal verification Model checking Model predictive control Control theory SIGNAL Embedded system Electronic engineering Formal methods Formal sciences
759	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Modular Glass Box Software Model Checking Michael Roberson Chandrasekhar Boyapati Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2010-10-19 08:49:44 Binary trees Binary search tree Model checking Tree traversal Abstraction Null Pointer SQL C Computing Computer programming Software engineering
760	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Software Model Checking of Soundness of Type Systems Michael Roberson Melanie Harries Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2009-03-23 19:01:00 Computer programming Primitive types Procedural programming languages Type theory Null Model checking Programming language Type system C Computing Software engineering Data types

UPDATE